Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
نویسندگان
چکیده
منابع مشابه
Domains for computation in mathematics, physics and exact real arithmetic
We present a survey of the recent applications of continuous domains for providing simple computational models for classical spaces in mathematics including the real line, countably based locally compact spaces, complete separable metric spaces, separable Banach spaces and spaces of probability distributions. It is shown how these models have a logical and effective presentation and how they ar...
متن کاملThe Principle of Relativity: From Ungar’s Gyrolanguage for Physics to Weaving Computation in Mathematics
This paper extends the scope of algebraic computation based on a non standard $times$ to the more basic case of a non standard $+$, where standard means associative and commutative. Two physically meaningful examples of a non standard $+$ are provided by the observation of motion in Special Relativity, from either outside (3D) or inside (2D or more), We revisit the ``gyro''-theory ...
متن کاملthe principle of relativity: from ungar’s gyrolanguage for physics to weaving computation in mathematics
this paper extends the scope of algebraic computation based on a non standard × to the more basic case of a non standard +, where standard means associative and commutative. two physically meaningful examples of a non standard + are provided by the observation of motion in special relativity, from either outside (3d) or inside (2d or more), we revisit the “gyro”-theory of ungar to present the m...
متن کاملExact real arithmetic for Tcl
Once in a great while, the programmer has need for floating point arithmetic in greater precision than the hardware provides. This capability is usually not performance critical, since most performance critical code deals with measured quantities in the physical world, where it is hard to imagine a measurement precision that exceeds the sixteen or so decimal digits provided by standard IEEE-754...
متن کاملExact Real Arithmetic ?
One possible approach to exact real arithmetic is to use linear fractional transformations to represent real numbers and computations on real numbers. We show how to determine the digits that can be emitted from a transformation, and present a criterion which ensures that it is possible to emit a digit. Using these results, we prove that the obvious algorithm to compute n digits from the applic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of Symbolic Logic
سال: 1997
ISSN: 1079-8986,1943-5894
DOI: 10.2307/421098